#include "../../include/types.h"
#include "../../include/memlayout.h"
#include "../proc/spinlock.h"
#include "../../include/riscv.h"

void kinit(void);
void kfree(void *pa);
void *kalloc(void);